La lingua delle strutture discrete
Definizione: La teoria matematica del conteggio è formalmente nota come analisi combinatoria. Questa disciplina fondamentale fornisce gli strumenti per determinare il numero di modi in cui un sistema può essere configurato o un esperimento può risultare, senza necessariamente elencare ogni possibile risultato.
At its core, this involves modellizzazione di vincoli. Quando un ingegnere di controllo qualità esamina una matrice di comunicazione, non vede metalli e segnali; vede una sequenza di 0 e 1. Questa mappatura ci permette di applicare il Principio generalizzato del conteggio ai problemi di affidabilità nel mondo reale.
La matrice di configurazione del sistema
Considera un array di $n=4$ antenne. Se assumiamo che $k=2$ antenne siano difettose (1) e le altre funzionanti (0), l'analisi combinatoria ci permette di identificare il sottoinsieme specifico dei profili di guasto.
Stiamo cercando il numero di modi per disporre due 1 e due 0 in un vettore di lunghezza 4. Ciò equivale a scegliere le 2 posizioni per i difetti tra i 4 slot disponibili: $\binom{4}{2}$.
Logica ricorsiva nel conteggio
L'analisi combinatoria spesso richiede di riconoscere che la soluzione a un problema grande dipende dal suo stesso passato. Questo è il rapporto ricorsivo. Ad esempio, quando si contano sequenze senza teste consecutive, i percorsi validi si ramificano in base al fatto che lo stato corrente termini con croce (liberando il prossimo movimento) o con testa (limitandolo).